Commonsense Set Theory

نویسنده

Donald Perlis

چکیده

It is argued that set theory provides a powerful addition to commonsense reasoning, facilitating expression of meta-knowledge, names, and self-reference. Difficulties in establishing a suitable language to include sets for such purposes are discussed, as well as what appear to be promising solutions. Ackermann’s set theory as well as a more recent theory involving universal sets are discussed in terms of their relevance to commonsense. keywords: commonsense, sets, reification, reflection, meta-knowledge, defaults

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

HYPERSOLVER: A Graphical Tool for Commonsense Set Theory

This paper investigates an alternative set theory (due to Peter Aczel) called Hyperset Theory. Aczel uses a graphical representation for sets and thereby allows the representation of non-well-founded sets. A program, called HYPERSOLVER, which can solve systems of equations deened in terms of sets in the universe of this new theory is presented. This may be a useful tool for commonsense reasoning.

متن کامل

Axiomatic Set Theories and Common Sense

Various axiomatic set theories (ZF, NBG, NF, and KPU) are studied with a critical eye. The basic mathematical and philosophical reasons behind their axioms are given, as well as their review from the commonsense point of view. An introduction to a \commonsense set theory" is attempted at the end.

متن کامل

Circumscribing with Sets

Sets can play an important role in circumscription’s ability to deal in a general way with certain aspects of commonsense reasoning. A result of Kueker indicates that sentences that intuitively one would want circumscription to prove, are nonetheless not so provable in a formal setting devoid of sets. Furthermore, when sets are introduced, first-order circumscription handles these cases very ea...

متن کامل

Concept Calculus: Much Better Than

This is the initial publication on Concept Calculus, which establishes mutual interpretability between formal systems based on informal commonsense concepts and formal systems for mathematics through abstract set theory. Here we work with axioms for "better than" and "much better than", and the Zermelo and Zermelo Frankel axioms for set theory.

متن کامل